#include <stdio.h>
int main()
{
	int count = 10000;
	while (count--)
		printf("%d ", count);
		printf("\n%s ", "finished");
}
